Post-condition loops (e.g., do-while loops) always execute the loop body at least once before checking the condition.